Linear algebra over and related rings
نویسندگان
چکیده
منابع مشابه
Linear Algebra over Z_p[[u]] and related rings
Let R be a complete discrete valuation ring, S = R[[u]] and d a positive integer. The aim of this paper is to explain how to compute efficiently usual operations such as sum and intersection of sub-S-modules of S. As S is not principal, it is not possible to have a uniform bound on the number of generators of the modules resulting from these operations. We explain how to mitigate this problem, ...
متن کاملAlgorithms for Linear Algebra Problems over Principal Ideal Rings
We introduce a generalization of the Hermite normal form for matrices over a principal ideal ring R which may contain zero divisors. That normal form allows us to solve the following basic linear algebra problems. Equality decision, containment test and element test for submodules of R k , k 2 IN. The determination of images, kernels, and inverse images of homomorphisms ' : R l ! R k , l; k 2 I...
متن کاملFormalized linear algebra over Elementary Divisor Rings in Coq
This paper presents a Coq formalization of linear algebra over elementary divisor rings, that is, rings where every matrix is equivalent to a matrix in Smith normal form. The main results are the formalization that these rings support essential operations of linear algebra, the classification theorem of finitely presented modules over such rings and the uniqueness of the Smith normal form up to...
متن کاملDivisorial Linear Algebra of Normal Semigroup Rings
We investigate the minimal number of generators μ and the depth of divisorial ideals over normal semigroup rings. Such ideals are defined by the inhomogeneous systems of linear inequalities associated with the support hyperplanes of the semigroup. The main result is that for every bound C there exist, up to isomorphism, only finitely divisorial ideals I such that μ(I) ≤ C. It follows that there...
متن کاملLinear Codes over Finite Rings
Linear codes over finite rings with identity have recently raised a great interest for their new role in algebraic coding theory and for their successful application in combined coding and modulation. Thus, in this paper we address the problems of constructing of new cyclic, BCH, alternant, Goppa and Srivastava codes over local finite commutative rings with identity. These constructions are ver...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: LMS Journal of Computation and Mathematics
سال: 2014
ISSN: 1461-1570
DOI: 10.1112/s146115701300034x